“Shrinking city” – term to be verified?

What Can Be Verified Locally?

We are considering distributed network computing, in which computing entities are connected by a network modeled as a connected graph. These entities are located at the nodes of the graph, and they exchange information by message-passing along its edges. In this context, we are adopting the classical framework for local distributed decision, in which nodes must collectively decide whether their...

Quantum theory can be collectively verified

No theory of physics has been collectively scientifically verified in an experiment so far. It is pointed out that probabilistic structure of quantum theory can be collectively scientifically verified in an experiment. It is also argued that experimentalist’s point of view quantum theory is a complete theory. Generally, a proposed theory of physics is accepted by scientific community when it is...

Totally Verified Systems: Linking Verified Software to Verified Hardware

The restructuring of Detroit: City block form change in a shrinking city, 1900–2000

This paper examines the dramatic changes to city block morphology that occurred during the 20th century in Detroit, MI, USA. The study area is comprised of four square miles (10.4 km) of downtown Detroit. The paper measures the amount and causes of city block frontage change between the years 1896 and 2002, and finds that 37% of Detroit’s 1896 city block frontage was removed by 2002. Only 50% o...

Digital models: How can dental arch form be verified chairside?

INTRODUCTION Plaster dental casts are routinely used during clinical practice to access maxillary dental arch form and assist on fabrication of individualized orthodontic archwires. Recently introduced, digital model technology may offer a limitation for the obtainment of a dental physical record. In this context, a tool for dental arch form assessment for chairside use is necessary when employ...